/*
Usage:
	ebnf2y [-o output-fname] [input-fname]
Options:
	-o file		write to 'file' instead of stdout

*/
package documentation
